An adjoint-functor theorem over topoi
نویسندگان
چکیده
منابع مشابه
Continuity is an Adjoint Functor
1. INTRODUCTION. The emergence of category theory, introduced by S. Eilen-berg and S. Mac Lane in the 1940s (cf. [2]), was among the most important mathematical developments of the twentieth century. The profound impact of the theory continues to this day, and categorical methods are currently used, for example, in algebra, geometry, topology, mathematical physics, logic, and theoretical comput...
متن کاملTowards an Override in Topoi
Models of software systems are built in Z and VDM using partial functions between sets and certain operations on these partial functions : extension (t), restriction (/), removal (/ −) and override (†). Can these operations be given a categorial semantics? Doing so will show the ‘nature’ of the operations. The operation of override is found to depend on the ‘shape’ on X, the poset PX. The opera...
متن کاملTannaka Theory over Sup-lattices and Descent for Topoi
We consider locales B as algebras in the tensor category s` of sup-lattices. We show the equivalence between the Joyal-Tierney descent theorem for open localic surjections shB q −→ E in Galois theory and a Tannakian recognition theorem over s` for the s`-functor Rel(E) Rel(q ∗) −→ Rel(shB) ∼= (B-Mod)0 into the s`-category of discrete B-modules. Thus, a new Tannaka recognition theorem is obtaine...
متن کاملA signalizer functor theorem for groups of finite Morley rank
There is a longstanding conjecture, due to Gregory Cherlin and Boris Zilber, that all simple groups of finite Morley rank are simple algebraic groups. Towards this end, the development of the theory of groups of finite Morley rank has achieved a good theory of Sylow 2-subgroups. It is now common practice to divide the Cherlin-Zilber conjecture into different cases depending on the nature of the...
متن کاملSpectral Theorem for Self-adjoint Linear Operators
Let V be a finite-dimensional vector space, either real or complex, and equipped with an inner product 〈· , ·〉. Let A : V → V be a linear operator. Recall that the adjoint of A is the linear operator A : V → V characterized by 〈Av, w〉 = 〈v, Aw〉 ∀v, w ∈ V (0.1) A is called self-adjoint (or Hermitian) when A = A. Spectral Theorem. If A is self-adjoint then there is an orthonormal basis (o.n.b.) o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 1976
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s0004972700022814